Logic of divisibility rule of 7